14128	Logical Foundations of Negotiation: Outcome, Concession, and Adaptation
14130	Knowledge Integration for Description Logics
14132	Finding Maximally Satisfiable Terminologies for the Description Logic ALC
15594	Negotiation as Mutual Belief Revision
30836	Collage Grammars for Collision-Free Growing of Objects in 3D Scenes
51333	LPOD Answer Sets and Nash Equilibria
60115	Implementing Iterated Belief Change Via Prime Implicates
60205	Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT
158058	Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions
165832	Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach
480102	Equilibria in Social Belief Removal
480156	Semantic Preferential Subsumption
551620	A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings
551629	Merging Epistemic States
626580	TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving
631903	Tactic-Based Optimized Compilation of Functional Programs
716268	Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1
725799	An Artificial Chemistry for Networking
952440	Admissible and Restrained Revision
961369	Identification of cylin-dependent kinase 1 inhibitors of a new chemical type by structure-based design and database searching
961371	Structure-based design of potent CDK1 inhibitors derived from olomoucine
993496	On algorithmically checking whether a Hilbert series comes from a complete intersection
1238019	Modelling Object Typicality in Description Logics
1248803	A Real-Time Low-Power Stereo Vision Engine Using Semi-Global Matching
1249423	Next Steps in Propositional Horn Contraction
1264590	A General Family of Preferential Belief Removal Operators
1372178	Proceedings of the 2005 Australasian Ontology Workshop - Volume 58
1384846	Robustness to Code and Data Deletion in Autocatalytic Quines
1386111	A self-healing multipath routing protocol
1610483	Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
1668858	Multimedia synchronization techniques: experiences based on different system structures
